#ifndef _TASK_H
#define _TASK_H
#include "forco_os.h"
void OSInit(void);
void OS_TaskTCBInit(OS_TCB *p_tcb);
CPU_UINT32 *OS_TaskStkInit(TASK_FUNCTION taskfun,void *p_arg,CPU_UINT32 *p_stk_base,CPU_UINT32 stk_size);
void OSTaskCreateStatic(OS_TCB* p_tcb,TASK_FUNCTION taskfun,void *p_arg,CPU_INT8 *TaskName,CPU_UINT32 prio,CPU_UINT32 *p_stk_base,CPU_UINT32 stk_size,OS_ERR* err);
void OSStartRun(void);
void OSSched(void);
void OSStartHighRdy(void);
#endif



